$\forall$$T$:Type. $T$ $\subseteq\rho$ $\mathbb{Z}$ $\Rightarrow$ ($\forall$${\it bs}$, ${\it as}$:$T$ List. sorted(${\it as}$) $\Rightarrow$ sorted(merge(${\it as}$;${\it bs}$)))